Permutations of context-free, ET0L and indexed languages

نویسندگان

  • Tara Brough
  • Laura Ciobanu
  • Murray Elder
  • Georg Zetzsche
چکیده

For a language L, we consider its cyclic closure, and more generally the language C(L), which consists of all words obtained by partitioning words from L into k factors and permuting them. We prove that the classes of ET0L and EDT0L languages are closed under the operators C. This both sharpens and generalises Brandstädt’s result that if L is context-free then C(L) is context-sensitive and not context-free in general for k ≥ 3. We also show that the cyclic closure of an indexed language is indexed.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Applications of L systems to group theory

L systems generalise context-free grammars by incorporating parallel rewriting, and generate languages such as EDT0L and ET0L that are strictly contained in the class of indexed languages. In this paper we show that many of the languages naturally appearing in group theory, and that were known to be indexed or context-sensitive, are in fact ET0L and in many cases EDT0L. For instance, the langua...

متن کامل

A new pumping lemma for indexed languages, with an application to infinite words

We prove a pumping lemma in order to characterize the infinite words determined by indexed languages. An infinite language L determines an infinite word α if every string in L is a prefix of α. If L is regular or context-free, it is known that α must be ultimately periodic. We show that if L is an indexed language, then α is a morphic word, i.e., α can be generated by iterating a morphism under...

متن کامل

Permutations of context-free and indexed languages

We consider the cyclic closure of a language, and its gener-alisation to the operators C k introduced by Brandstädt. We prove that the cyclic closure of an indexed language is indexed, and that if L is a context-free language then C k (L) is indexed.

متن کامل

Indexed Grammars , ET 0 L Systems and Programming Languages — A Tribute to Alexandru Mateescu — Radu Nicolescu

We revise and extend a couple of earlier incompletely published papers regarding the competence limits of formal systems in modelling the full syntax of programing languages. We show that the full syntax of mainstream programming languages (e.g. similar to Pascal or CAML) and of schema based XML documents cannot be modelled by either ET0L systems or indexed grammars. We raise a few open questio...

متن کامل

Simple Semi-conditional Et0l Grammars

The present contribution introduces and studies simple semi-conditional ET0L grammars (SSC-ET0L grammars for short). It is demonstrated that SSC-ET0L grammars with permitting and forbidding conditions of length no more than one and two, respectively, generate all the family of recursively enumerable languages; if erasing productions are not allowed, these grammars generate precisely the family ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Discrete Mathematics & Theoretical Computer Science

دوره 17  شماره 

صفحات  -

تاریخ انتشار 2016